Mark Thom

Mark Thom maintains Scryer Prolog, a compact yet ambitious logic-programming system written almost entirely in Rust and released under the BSD-3-Clause licence. The interpreter targets developers, researchers and educators who want ISO-compliant Prolog with contemporary tooling: its modular engine supports attributed variables, constraints over finite domains and reals, definite clause grammars, and tabling for automatic memoisation, while the Rust substrate delivers memory safety, cross-platform builds, and straightforward embedding into larger code bases. Typical use cases range from rapid prototyping of rule-based expert systems, semantic-web reasoners and natural-language front-ends to teaching classical AI concepts in university courses; the built-in `library(clpz)` and `library(tabling)` make it easy to express combinatorial optimisation problems or recursive query evaluation without leaving the declarative paradigm. Because the single self-contained binary starts instantly and ships with a read-eval-print loop, Scryer Prolog also suits hobbyists who wish to experiment with relational ideas on Windows, macOS or Linux without installing heavyweight commercial environments. Users can extend the kernel through Rust crates or load pure Prolog libraries that provide JSON, HTTP, SGML, regex and cryptography support, so modern connectivity and data-exchange requirements are covered. Scryer Prolog is available for free on get.nero.com, where downloads are delivered through trusted Windows package sources such as winget, always install the latest upstream build, and may be queued for batch installation alongside other applications.